package psd.model.Prolog.Converters;

import org.eclipse.jdt.core.dom.NormalAnnotation;

import psd.model.IConverter;
import psd.model.Prolog.FactGenerationToolbox;
import psd.model.Prolog.PrologConverter;


public class PrologNormalAnnotationConverter extends PrologConverter implements
		IConverter<NormalAnnotation> {

	public PrologNormalAnnotationConverter(FactGenerationToolbox toolbox) {
		super(toolbox);
	}

	@Override
	public boolean convert(NormalAnnotation node) {
		visitAnnotation(node, idResolver.getIDs(node.values()));
		return true;
	}

}
